Overseas Trend for Lightweight Paper

Paper Sludge Reuse in Lightweight Aggregates Manufacturing

The lightweight aggregates used by the civil engineering market are sintered at a high temperature, about 1200 °C. In times of high energy prices and regulation of carbon dioxide emissions, lightweight aggregate products of the high-temperature process in sales marketing are not readily accepted. This study developed a sintered-type paper sludge lightweight aggregate. In order to reduce energy ...

Lightweight Probability Theory for Verification Category B Paper

There are many algorithms that make use of probabilistic choice, but a lack of tools available to specify and verify their operation. The primary contribution of this paper is a lightweight modelling of such algorithms in higher-order logic, together with some key properties that enable verification. The theory is applied to a uniform random number generator and some basic properties are establ...

Towards Lightweight Satisfiability Solvers for Self-Verification (Invited Paper)

Solvers for Boolean satisfiability (SAT solvers) are essential for various hardware and software verification tasks such as equivalence checking, property checking, coverage analysis, etc. Nevertheless, despite the fact that very powerful solvers have been developed in the recent decades, this progress often still cannot cope with the exponentially increasing complexity of those verification ta...

Trend and Outcome of Korean Patients Receiving Overseas Solid Organ Transplantation between 1999 and 2005

The disparity between patients awaiting transplantation and available organs forced many patients to go overseas to receive a transplant. Few data concerning overseas transplantation in Korea are available and the Korea Society for Transplantation conducted a survey to evaluate the trend and outcome of overseas transplantation. The survey, conducted on June 2006, included 25 hospitals nationwid...

Poverty in Ethiopia A Background Paper: March 1997 Prepared for the Overseas Development Administration, UK